type MyType =